//led.c
#include "pin_mux.h"
#include "clock_config.h"
#include "board.h"
#include "fsl_debug_console.h"
#include "fsl_gpio.h"
#include "led.h"


gpio_pin_config_t led_config = {kGPIO_DigitalOutput, 0, kGPIO_NoIntmode};


void led_init(void)
{
	GPIO_PinInit(E53_GPIO4, E53_GPIO4_PIN, &led_config);
	GPIO_PinInit(E53_GPIO3, E53_GPIO3_PIN, &led_config);
}


